Communicating Sequential Processes - definizione. Che cos'è Communicating Sequential Processes
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è Communicating Sequential Processes - definizione


Communicating sequential processes         
FORMAL LANGUAGE FOR CONCURRENT SYSTEMS
Communicating Sequential Processes; Cooperating sequential processes
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels.
Communicating Sequential Processes         
FORMAL LANGUAGE FOR CONCURRENT SYSTEMS
Communicating Sequential Processes; Cooperating sequential processes
<language, parallel> (CSP) A notation for concurrency based on synchronous message passing and selective communications designed by Anthony Hoare in 1978. It features cobegin and coend and was a precursor to occam. See also Contextually Communicating Sequential Processes. ["Communicating Sequential Processes", A.R. Hoare, P-H 1985]. (1994-11-01)
Algebra of communicating processes         
The algebra of communicating processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi.